Issue3124.agda:10,19-27
Cannot split on datatype in Prop unless target is in Prop
when checking that the pattern squash y has type Squash A
